En caractérisant les éléments de à l'aide de leurs composantes on met en évidence une famille génératrice, il reste alors à vérifier qu'elle est aussi libre.