n=2,n=3,nが奇素数の場合は、形も論法も同じです。