设计一个算法，验证哥德巴赫猜想：任何一个充分大的偶数 (大于等于6)总可以表示成两个素数之和，并请编写Python程序实现该算法。只需在指定位置完成Python编程，并测试正确即可。

哥德巴赫猜想的验证算法如下：

1. 读取一个充分大的偶数even_num

2. 定义is_goldbach为False

3. 从2开始循环到even_num，每次判断当前数是否为素数

4. 若为素数，再判断even_num减去该素数是否也是素数

5. 若两个数都是素数，则打印出它们的和等于even_num，并将is_goldbach设为True

6. 如果is_goldbach为False，则打印出验证失败

Python程序实现如下：

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

# 验证哥德巴赫猜想
even_num = int(input("请输入一个充分大的偶数: "))
is_goldbach = False
for i in range(2, even_num):
    if is_prime(i) and is_prime(even_num - i):
        print("{} = {} + {}".format(even_num, i, even_num - i))
        is_goldbach = True
        break
if not is_goldbach:
    print("验证失败")

测试样例：

输入：

请输入一个充分大的偶数: 100

输出：

100 = 3 + 97