全ての有理数がn/m(m,nが互いに素、m≧1)の形で表すことが出来るから。
負の有理数はn＜0,正の有理数はn＞0としてやればm≧1で問題なし。
m≠1だとm＞1かつm,nが互いに素のときにn/mが整数にならない。