En ambos casos llegamos a una contradicción, por tanto no existe dicha "a" y entonces "f" (que es una función cualquiera) no es sobreyectiva, como queríamos demostrar.