>>319
n^2がaを因数に持つことになり、nがaを因数に持つことになる。
すると、n^2はa^2を因数に持つことになり、am^2がa^2を因数に持つことになる。
するとm^2はaを因数に持つことになり、mがaを因数に持つことになる。
nとmがいずれもaを因数に持つことになり、互いに素であることに反する。