theorem Th11: :: CARD_5:11

for phi being Ordinal-Sequence st phi is increasing holds
phi is one-to-one