theorem Th34: :: ORDINAL7:21

for A, B being decreasing Ordinal-Sequence st rng A = rng B holds
A = B