>>688

>x^0=1を定義とすることもできるし、他の定義から導き出すことも可能だ。

その「他の定義」はやはり証明はできないけどその定義とするといろいろ都合がいい
と言う理解でいいですか？