共に代数的数でないと仮定して矛盾が出たなら
(この部分の証明が間違いだが)、
少なくとも一つが代数的数であるという
結論しか出ないだろw>>227