必ずしもそうというわけじゃないが、その理解でもおけ。

必ずしもそうでない、というのは、通常使われている数学では
何が定義（公理）で、なにがそこから導き出せる（証明できる）定理なのかは
厳密には決まっていないからで、
たとえば、一方を定義とすれば他方が定理となり、逆もまた可能なものは
たくさんある。
x^0=1を定義とすることもできるし、他の定義から導き出すことも可能だ。