theorem :: FIELD_14:11

for F being Field
for B1, B2 being non zero bag of the carrier of F st B2 divides B1 & card B1 = 1 holds
B2 = B1