On peut procéder par équivalences en partant du déterminant dans lequel on peut faire apparaître un mineur d'ordre 2 égal au déterminant des vecteurs et .