历史上著名的費马大定理称：当n22时，X'+ ”没有正签数解，即不可能找到了个正数×、以、二使公式成主。請编写一个程序来验证 7=3时在区间2~999之内大定理的正确性，提示：要使用穷举法。

费马大定理是一个关于整数解的问题，它指出对于所有大于2的整数n，方程a^n + b^n = c^n没有正整数解。为了验证n=3的情况（也就是3次幂），我们可以编写一个简单的Python程序来遍历2到999之间的所有可能的a、b值，并检查它们的立方和是否等于c（这里c通常固定为某个较大的数，如2^3 + 2^3 = 8）。然而，由于这个定理已经被数学家安德鲁·怀尔斯证明了，实际上我们不需要编写这样的程序，因为结论已经得出。

如果仍然想通过编程验证一个特殊情况，你可以这样做：

def check_fermat_theorem(n, limit):
    for a in range(2, limit+1):
        for b in range(a, limit+1): # 从a开始是因为a^n <= c^n限制了b的范围
            if pow(a, n) + pow(b, n) == pow((a+b), n):
                print(f"发现了错误的解: {a}^{n} + {b}^{n} = {(a+b)}^{n}")
                return False
    return True

# 验证n=3的情况
if not check_fermat_theorem(3, 999):
    print("验证结果表明费马大定理在指定范围内成立")
else:
    print("验证过程中未发现不符合定理的解")