Propriété P1.7 : Lorsqu'un Roi R est en échec par une pièce X et que la pièce X ne s'est pas déplacée, alors forcément, l'échec par la pièce X est un échec découvert.