Mediante deducciones lógicas a partir de "no J" llegamos a una contradicción.