けっきょく、x^0=1は定義とすることもできるし定理とすることもできるが、いずれにしろ
x^0=1になるような定義とするといろいろ都合がいい と言う理解でいいですか？