ví dụ :
a = 80 . b = 40 . c = 4
thì : a : b = 80 : 40 = chia hết
b : c = 40 : 4 = chia hết
a : c = 80 : 4 = chia hết
Vậy : a : c = chia hết
Vì : a chia hết cho b nên a = b . k1 ( k1 \(\in\) N ) ( 1 )
Vì : b chia hết cho c nên b = c . k2 ( k2 \(\in\) N ) ( 2 )
Từ ( 1 ) và ( 2 )
=> a = c . k1 . k2
=> a = c . k ( k = k1 . k2 )
=> a chia hết cho c