1/9は0.111...と無限に続いても必ず余りdxが生じる

1/9=0.111...+dx

1/9>0.111...

デデキント切断とはいったい何だったのか
誰も気づかなかった欠陥定義

完全終了