Using the identity for the square of the norm of a sum: