theorem Th13: :: ZF_REFLE:13

for A being Ordinal
for psi being Ordinal-Sequence holds psi | (Rank A) = psi | A