theorem Th11: :: ALGGEO_1:11

for n being non empty Ordinal
for x being Element of n holds degree (UnitBag x) = 1