>>485
Sが超越基底であることは
>従って、S＝R で、有理数は超越数で矛盾。
の部分で使っている筈だが。