>>64
0.999…は切断で定義されるんだけどそれが有理数の1になることを示すのには有理数も切断で表せることを認識していないと