数学领域著名的“哥德巴赫猜想”的大致意思是：任何一个大于2的偶数总能表示为两个素数之和。比如：24=5+19，其中5和19都是素数。本实验的任务是设计一个程序，验证20亿以内的偶数都可以分解成两个素数之和。请自定义判断素数模块a.py，然后通过导入b.py实现模块化设计。

好的，让我们先来写判断素数的模块a.py。我采用的是最简单的试除法来判断素数：

# a.py

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

现在我们可以写主程序b.py来实现验证20亿以内的偶数都可以分解成两个素数之和的功能，并导入a.py模块中的is_prime函数：

# b.py

from a import is_prime

def goldbach_conjecture(n):
    if n % 2 != 0 or n <= 2:
        return False
    primes = []
    for i in range(2, n):
        if is_prime(i):
            primes.append(i)
    for p in primes:
        if n-p in primes:
            return True
    return False

for i in range(4, 2000000001, 2):
    if not goldbach_conjecture(i):
        print(i, "cannot be expressed as the sum of two primes")

这个程序会从4开始，每次增加2，一直验证到2000000000（也就是20亿）以内的所有偶数是否可以分解成两个素数之和。如果不能，就会输出这个偶数和一个提示信息。