>>38
既約分数は小数で表せる、の方は定理ちゅうか、割り算の定義だろ。