定義よりａ＾０＝１。