Puisqu’une combinaison linéaire avec des coefficients entiers d’entiers algébriques est encore un entier algébrique, ceci prouve l’instruction.
Puisqu'une combinaison linéaire avec des coefficients entiers d'entiers algébriques est un entier algébrique, cela prouve la déclaration.