Demostrar "si todo número primo es mayor que 2, entonces es impar (formula_6) es lo mismo que demostrar que " si todo entero negativo no es impar, entonces no es un número primo o es menor o igual que 2." formula_7