γの有理性の議論の大雑把な証明は、かなり前にも書いた