哥德巴赫猜想：任一大于 2 的偶数都可写成两个质数之和。我们现在将通过程序在4～10000内验证这个猜想，要求用函数的方式实现判断一个数是否为质素。

好的，我可以帮你实现判断一个数是否为质数的函数，以下是代码示例：

def is_prime(num):
    """
    判断一个数是否为质数
    :param num: 待判断的数
    :return: True表示是质数，False表示不是质数
    """
    if num < 2:
        return False
    for i in range(2, int(num ** 0.5) + 1):
        if num % i == 0:
            return False
    return True

然后，我们可以结合这个函数，编写程序来验证哥德巴赫猜想：

for i in range(4, 10001, 2):
    flag = False
    for j in range(2, i // 2 + 1):
        if is_prime(j) and is_prime(i - j):
            flag = True
            break
    if not flag:
        print("{}无法被写成两个质数之和".format(i))

这个程序会输出所有无法被写成两个质数之和的偶数。如果没有任何输出，则说明哥德巴赫猜想在4～10000内成立。