公理和定理有什么区别？

奇数的世界

就是这个：
其中：“因为E、D可为任意值，n也可为任意值，而对于②式两边只有乘以Fn项才能变成Ax + By = Cz的不定方程形式。”
算着公理吗？需不需要证明？

奇数的世界

请陆教授仔细帮我看看。