Prove o Teorema 2.10.4.
Passo 1
Suporemos e vamos mostrar que essa hipótese leva a uma contradição. Se , existirá algum tal que . Como , existe um tal que
Se , então
Se , então
Passo 2
Substituindo , segue que existe um tal que
Se , então
Passo 3
Mas por hipótese, existe um tal que
Se , então
Como temos uma contradição, então nossa hipótese de é falsa. Portanto, .
Resposta
Ei, a resposta está no passo a passo :)