theorem :: INT_2:9

for a, b, c being Integer st a divides b & b divides c holds
a divides c by Lm2;