||x_1+y||^2 + ||x_1 -y||^2 = 2||x_1||^2+2||y||^2, \\
||x_2+y||^2 + ||x_2 -y||^2 = 2||x_2||^2+2||y||^2, \\ \\
2||x_1||^2 - 2||x_2||^2 = ||x_1+y||^2 + ||x_1 -y||^2 - ||x_2+y||^2 - ||x_2 -y||^2.