a^0=1は定義ですか?
それとも証明できるんですか?