python编写程序：验证哥德巴赫猜想之一—— 2000以内的正偶数（大于等于4）都能够分解为两个质数之和。每个偶数表达成形如：4=2+2的形式，请每行输出4个偶数及其分解结果。

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

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

result = []
for i in range(4, 2001, 2):
    for j in range(2, i):
        if is_prime(j) and is_prime(i-j):
            result.append((i, j, i-j))
            break

for i in range(0, len(result), 4):
    print(result[i][0], '=', result[i][1], '+', result[i][2], end='\t')
    if i + 1 < len(result):
        print(result[i+1][0], '=', result[i+1][1], '+', result[i+1][2], end='\t')
    if i + 2 < len(result):
        print(result[i+2][0], '=', result[i+2][1], '+', result[i+2][2], end='\t')
    if i + 3 < len(result):
        print(result[i+3][0], '=', result[i+3][1], '+', result[i+3][2], end='\t')
    print()

首先定义了一个 `is_prime()` 函数，用于判断一个数字是否为质数。然后使用两层循环枚举所有的偶数，并找到它们的两个质数之和。将找到的结果添加到 `result` 列表中。最后使用一个循环打印出这些结果，每行输出 4 个。