voltemos a explanaçao,ao tema anterior.
como visto antes,nao podemos ter

,pois invalidaremos a condiçao de nao existencia da funçao inversa.
logo,necessariamente teremos q. ter

.entao busquemos um

,

(pq

?),tal que

...logo:

.

,para q.

,teriamos q. ter

,ao qual invalidaria a nossa condiçao de nao existencia da inversa...logo, y nao pode ser inteiro...
na mesma deixa,vamos supor que:


para q.

,t teria q. ser igual a um,o q. como visto anteriormente contradiz a condiçao de nao inversa...logo y nao pode ser racional...modo analogo para x...entao x,y teem q. ser irracionais...