Corollaire C1.1 : Les deux Rois ne peuvent jamais être tous deux sous échec.