theorem Th43: :: BAGORD_2:44

for I, J being set
for m being bag of I holds m | J divides m