Hola Iván.
El hecho de que
no implica que
(puedes pensar en la TL nula, que es autoadjunta).
Cuando supones que existe
implícitamente estás suponiendo que
lo cual no es cierto, por eso está mal esa demostración.
Dime si se entendió.
Saludos, Florencia.