>>808
じゃあ、「正の数a」となっているはずだ。