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