请帮我写一个Python程序：编写函数实现判断一个数n是否为素数，返回True或False 任意输入一个大于6的偶数，调用函数，验证是否满足哥德巴赫猜想。

以下是一个判断素数的函数实现：

def is_prime(n):
    if n <= 1:
        return False
    elif n == 2:
        return True
    elif n % 2 == 0:
        return False
    else:
        for i in range(3, int(n**0.5)+1, 2):
            if n % i == 0:
                return False
        return True

这个函数的实现思路是，首先判断小于等于1的数和2是否为素数，然后判断大于2的偶数是否为素数（因为除2以外的偶数都不是素数），最后对于大于2的奇数，用从3开始、步长为2的方式枚举可能的因子进行判断。

关于哥德巴赫猜想，它的内容是：任何一个大于2的偶数都可以表示成三个质数之和。比如，6=3+2+1，8=5+2+1，10=7+2+1，12=7+3+2，以此类推。虽然这个猜想在数学上已经被证明是正确的，但是我们可以通过编写程序来验证它是否成立。下面是一个实现：

def verify_goldbach_conjecture(n):
    for i in range(2, n // 2 + 1):
        if is_prime(i) and is_prime(n-i) and is_prime(n-2*i):
            return True
    return False

这个函数的实现思路是，从2开始枚举可能的第一个质数，然后用n减去这个质数得到剩余的数，再判断剩余的数是否为另一个质数以及是否满足哥德巴赫猜想。如果找到了一组满足条件的质数，就返回True，否则返回False。

要验证一个大于6的偶数是否满足哥德巴赫猜想，可以直接调用上面的函数：

n = 100
if n % 2 == 0 and n > 6:
    if verify_goldbach_conjecture(n):
        print(f'{n}满足哥德巴赫猜想')
    else:
        print(f'{n}不满足哥德巴赫猜想')
else:
    print('输入错误，请输入大于6的偶数')

这里假设要验证的数是100，首先判断它是否是偶数且大于6，然后调用函数进行验证。如果验证成功，就输出"100满足哥德巴赫猜想"；否则输出"100不满足哥德巴赫猜想"。