theorem Th12: :: ZF_REFLE:12

for A being Ordinal holds On (Rank A) = A