See also: Substitution property of equality, Symmetric property of equality, Transitive property of equality
... case is (b/a)x, we must have y = b/(2a), so we add the square of b/(2a) to both sides, ...