Cubic Formula Proof Step 1: Removing x^2 term via PQ Substitution