Pour montrer une implication , il est plus simple ici de raisonner par contraposition, c'est-à-dire de démontrer l'implication équivalente .

La matrice est associée à l'application linéaire .