for I being set
for a, b, c being bag of I st a divides b & b divides c holds
a divides c