写程序验证验证任何一个大于5的偶数都可以表示为两个素数之和

以下是Python的程序实现：

def is_prime(n):
    """判断一个数是否为素数"""
    if n < 2:
        return False
    for i in range(2, int(n ** 0.5) + 1):
        if n % i == 0:
            return False
    return True

def even_sum(n):
    """判断一个大于5的偶数是否可以表示为两个素数之和"""
    for i in range(2, n // 2 + 1):
        if is_prime(i) and is_prime(n - i):
            return True
    return False

# 测试
for i in range(6, 100, 2):
    if even_sum(i):
        print(f"{i} = {i - 2} + 2")
    else:
        print(f"{i} cannot be expressed as the sum of two primes")

其中，`is_prime()`函数用于判断一个数是否为素数，`even_sum()`函数用于判断一个大于5的偶数是否可以表示为两个素数之和。程序中，我们遍历大于5的偶数n的一半以下的素数i，判断n-i是否为素数，如果是，则n可以表示为i和n-i的和。如果遍历完所有素数都没有找到符合条件的i和n-i，则n不能表示为两个素数之和。