好吧，你能编写一个程序验证吗

当然可以！下面是一个简单的Python程序，可以验证给定的大于1的自然数n是否可以拆分成若干个小于n的自然数之和：

def can_be_split(n):
    if n <= 1:
        return False
    
    for i in range(1, n):
        if i + (n-i) == n:
            return True
    
    return False

# 测试示例
n = 7
result = can_be_split(n)
if result:
    print(f"{n} 可以拆分成若干个小于{n}的自然数之和")
else:
    print(f"{n} 不能拆分成若干个小于{n}的自然数之和")

你可以尝试运行这段代码，将n替换为你想要验证的数字。如果输出结果为“n 可以拆分成若干个小于n的自然数之和”，则表示该数字符合要求；如果输出结果为“n 不能拆分成若干个小于n的自然数之和”，则表示该数字不符合要求。

希望这个程序能够帮到你！如有任何问题，请随时告诉我。