Al ser p par tenemos formula_6, entonces formula_7 y formula_8, entonces formula_9 es par y q también, entonces q es par e impar con lo que tenemos una contradicción.