for n being set
for b, b1, b2 being bag of n st b = b1 + b2 holds
b1 divides b