>>394
実際にはそれを行うには実数論が必要だ。