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