無理数、有理数の証明ってどうやるんだっけか?