[opoint (OP)]

Prove that P = a ± b?

[imatfaal]

your logic fails here

Such that P = a(+b - b).

There is no good reason to move to this line from any of previous - it is an entirely new theorem and is internally contradictory