4.编写一个判断m是否为质数的函数，验证歌德巴赫猜想：任何大于2的偶 数均可表示为两个质数之和。例如：4=2+2，6=3+3，8=3+5,…。 编写主函数，输入一个偶数，输出所有满足条件的两个质数。

好的，我可以帮您编写一个判断质数的函数，并验证歌德巴赫猜想。以下是代码示例：

# 判断质数函数
def is_prime(num):
    if num <= 1:
        return False
    # 从2到num-1遍历，若存在任何一个数可以被num整除，则num不是质数
    for i in range(2, num):
        if num % i == 0:
            return False
    return True

# 歌德巴赫猜想验证函数
def verify_goldbach(num):
    if num <= 2 or num % 2 != 0:
        print("请输入一个大于2的偶数！")
        return
    # 遍历2到num-2之间的所有数，寻找两个质数之和等于num
    for i in range(2, num-1):
        if is_prime(i):
            for j in range(i, num-1):
                if is_prime(j) and i+j == num:
                    print(num, "=", i, "+", j)
                    return

# 主函数
if __name__ == '__main__':
    num = int(input("请输入一个大于2的偶数: "))
    verify_goldbach(num)

通过以上代码，您可以输入一个大于2的偶数，程序会输出所有满足条件的两个质数。请注意，歌德巴赫猜想并不是一个已被证明的定理，而是一个尚未得到证实的猜想。