Vì ƯC(a;m)=1
=> a không chia hết cho m
Mà a . b chia hết cho m
=> b sẽ chia hết cho m
=> ĐPCM
Vì ƯCLN ( a ; m ) = 1
=> a không chia hết cho m
Mà a.b chia hết cho m => b chia hết cho m vì ( a ; m ) = 1
Chứng minh rõ hơn bằng cách lấy ví dụ
a = 7 ; b = 6 ; m = 3
Ta có ƯCLN ( 7 ; 3 ) = 1
7 không chí hết cho 3
Mà 7 . 6 chia hết cho 3 vì ( 7 ; 3 ) = 1