for n being set
for a, b being bag of n st b divides a holds
support b c= support a