theorem Th21: :: ORDINAL5:21

for a, b, c being Ordinal st a c= b & 0 in c holds
c |^|^ a c= c |^|^ b