La definición de función par presupone que si formula_7 entonces necesariamente formula_8, de no ser así no se podría definir formula_9.