Montrer que la condition est nécessaire (évident), puis qu'elle est suffisante ; pour cela on pourra utiliser le fait qu'une matrice quelconque de peut s'écrire en fonction des quatre matrices .