请编写Python程序完成以下要求；验证哥德巴精猜想之一：2000以内的正偶数（大于等于4）都能够分解为两个质效之和。每个偶数表达成形如：4=2+2的形式，每行放6个式子

为了完成这个任务，我们可以编写一个简单的Python程序，遍历2000以内的所有偶数，检查它们是否能表示为两个质数之和。以下是一个示例代码：

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

# 找出小于2000的所有质数
primes = [i for i in range(2, 2000, 2) if is_prime(i)]

# 初始化列表来保存符合条件的表达式
expressions = []

# 遍历2000以内的偶数，每六个元素一行
for i in range(4, 2000, 2):
    for j in primes:
        k = i - j
        if is_prime(j) and is_prime(k):
            expressions.append(f"{i}={j}+{k}")
            if len(expressions) == 6:
                print("\n".join(expressions))
                expressions = []

# 输出剩余的表达式（如果有的话）
if expressions:
    print("\n".join(expressions))

这个程序首先定义了一个辅助函数`is_prime()`来判断一个数字是否为质数。然后找到小于2000的所有奇数质数。接着，对于每个偶数，我们尝试找到两个质数，满足该偶数等于这两个质数之和。每收集到6个这样的表达式，就打印出来，并清空`expressions`列表。最后，如果还有未打印的表达式，一并输出。