证明则丝毫没有因此受到影响。尽管一个定理一旦被证明就永远是正确的，我们对一个定理的真正意义的理解之深度，则是伴随着围绕着该定理的数学理论的进步而增长的。一旦一个定理的使用范围被扩大，数学家们便感到它被更好地理解了。例如，关于非零整数对素数模同余的费马小定理被推广到关于不可逆数对非零整数模同余的欧拉定理，后者又被推广为有限群的拉格朗日定理。