用Python数学领域著名的“哥德巴赫猜想”的大致意思是：任何一个大于2的偶数总能表示为两个素数之和。比如：24=5+19，其中5和19都是素数。请设计一个程序，验证20亿以内的偶数都可以分解成两个素数之和。 【输入形式】 在一行中给出一个(2,2 000 000 000]范围内的偶数N。 【输出形式】 在一行中按照格式“N = p + q”输出N的素数分解，其中p ≤ q均为素数。又因为这样的分解不唯一（例如24还可以分解为7+17），要求必须输出所有解中p最小的解。 【样例输入】 18 【样例输出】 18 = 5 + 13

以下是验证20亿以内偶数分解成两个素数之和的Python程序实现：

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

def goldbach_conjecture(num):
    for i in range(2, num // 2 + 1):
        if is_prime(i) and is_prime(num - i):
            return i, num - i

n = int(input())
p, q = goldbach_conjecture(n)
print(f"{n} = {p} + {q}")

该程序先定义了一个判断素数的函数 `is_prime(num)`，然后定义了验证哥德巴赫猜想的函数 `goldbach_conjecture(num)`，该函数遍历2到num/2之间的整数i，判断i和num-i是否都是素数，若是，则返回这两个素数，即为一个满足哥德巴赫猜想的素数分解。

最后，程序读取输入的偶数n，调用 `goldbach_conjecture(n)` 函数得到素数分解p和q，并输出结果。