ていうかデデキントの切断でも
1=0.999…になるような切り方しか認めないだろ