Proof that repeated use of on the left-most pair of a strictly increasing list preserves the fact that the left-most pair is an lmp