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