>>386
なんか気持ち悪い証明だ
その路線なら
x=2^(a-1) * 3^(b-1) * 5^(c-1) * m (mは因数に2,3,5いずれも含まず) と因数分解して
写像 f:
x → if (x==1) then 0 else a/b*(-1)^c.
f は明らかに NからQへの全射 (以下略)
この方がスッキリする