あるいは①から(0,1)以外の有理数は飛ばす
とだけ書いても②が言える

それでもう終了だ。