Si n'est pas le plus grand acceptable pour le premier invariant, alors est aussi acceptable, et nous avons Ceci viole le premier invariant. pour satisfaire les deux invariants, il faut choisir le plus ...