a^2-b^2 - Algebraic proof of a square minus b square