theorem Th10: :: ALGGEO_1:10

for n being non empty Ordinal holds degree (EmptyBag n) = 0