编写程序验证哥德巴赫猜想：任何充分大的偶数都可以由两个素数之和来表示。如4=2+2，6=3+3,8=3+5……。验证4~20之间的偶数。要求判断素数用函数实现。

题目描述：编写程序验证哥德巴赫猜想：任何充分大的偶数都可以由两个素数之和表示。例如：4=2+2，6=3+3, 8=3+5…。验证1~20之间的偶数。要求判断素数用函数实现。

哥德巴赫猜想表示任意大于2的偶数都可以由两个素数相加得到。因此，要验证偶数能否表示为两个素数之和，需要实现一个判断素数的函数。

判断素数方法：对于一个数n，判断其是否为素数，只需从2到n-1尝试通过求余数的方式看是否存在因数即可。若存在因数则说明不是素数。

以下是实现该程序的示例代码：

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

for i in range(4, 21, 2):
    print('{}='.format(i), end='')
    for j in range(2, i):
        if is_prime(j) and is_prime(i-j):
            print('{}+{}'.format(j, i-j))
            break