proof of the formula a plus b whole square