Le fait que contienne un nombre infini d'éléments est essentiel pour la question 3. ; il existe des corps ayant un nombre fini d'éléments.

L'hypothèse et implique que n'est ni le sous-espace , ni l'espace tout entier.

On a et on veut montrer que .