theorem ThAdd: :: COUNTERS:36

for A being Ordinal
for B being infinite Cardinal st A in B holds
A +^ B = B