với n là stn, có
n^2 chia hết cho 6 <=> n^2 chia hết cho 2 và 3 ( vì (2;3)=1 )
n^2 chia hết cho 2 => n^2 chia hết cho 2^2 <=> n chia hết cho 2 (1)
n^2 chia hết cho 3 => n^2 chia hết cho 3^2 <=> n chia hết cho 3 (2)
Từ (1)(2) kết hợp (2;3)=1 => n chia hết cho 6