循環小数は分数の形で表すことが出来る。
故に、既約分数は小数または、循環小数で表せる。
って言うのは、定理（既に証明されている。）だろう。