Al ser p par tenemos formula_29, entonces formula_30 y formula_31, entonces formula_32 es par y q también, entonces q es par e impar con lo que tenemos una contradicción.