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