Se
num corpo
, prove que, dados
tais que
, tem-se
Passo 1
O enunciado diz que em um corpo
temos
Chamemos esse valor comum de
. Precisamos mostrar que, para quaisquer
com
vale
Passo 2
Como
para todo
, temos
Passo 3
Substituindo
na soma do numerador, obtém-se
Passo 4
Agora basta dividir essa expressão pelo denominador comum
, que por hipótese é não nulo: