theo gthiet : a chia het cho b nen ton tai q thuoc Z sao cho :
a = b.q
Tu do ta co :
a , a = b.q =(-b).(-q)ma -q thuoc Z
=> a chia het cho (-b)
b , |a| = | b .q | =|b|.|q| ma q thuoc Z
=> |a|chia het cho | b|
c , a^2 = (b.q)^2 = b^2 . q^2 ma q thuoc Z
=> a^2 chia het cho b^2