Compréhension de la règle d'unicité LT sur une grille Sudoku



Vu le 010221 en suivi sur Simplenote 

La contrainte d'unicité au Sudoku  impose que 4 cases ( en 2 lignes, 2 colonnes, 2 blocs) ne puissent toutes contenir  les deux mêmes  candidats  notés a,b .

 

Sans%2Btitre%2B1.jpg

 

Sans%2Btitre%2B2.jpg

ce qui amènerait la grille à avoir 2 solutions  que l'on peut noter ( a, b, a, b) , ( b, a, b, a) , valeurs des 4 cases du rectangle ,  parcourues par exemple dans le sens des aiguilles d'une montre .

Dans le cas de la grille en  https://sudoku.megastar.fr/2018/05/31/les-espions-lt-uniqueness/
pour la grille   Virtuose n° 46, p.67, compte tenu des liens rappelés sur la première image (double flèche pour double paire , flèche simple : liaison forte du type paire pour le candidat  2) , les cas 1 et 2 aboutissent aux valeurs des cases indiquées ci-dessous  dans le sens des aiguilles d'une montre , les points symbolisant la présence d'autres candidats (autres que  2 et  6)
cas 1 :    ( 2, 6, 2, 6...) 
cas 2  :   ( 6, 2, 6...., 2 ...) 

L'existance des points, donc d'autres candidats, montre que l'on n'a pas le rectangle unique dans sa version de base . Quelle propriété permet de supprimer le candidat 6 en L9C5  dans le cas 1comme le fait la page megastar citée ? 

Note le 210420  : On ne peut pas avoir 6 en L9C5 car les positions du candidat 2  serait L9C6 ou L7C5 ; si c'est L9C6 on a le rectangle unique ; si c'est L7C5 , il n'y a plus de candidat pour L1C5 dans la colonne 5 .