Additional proof

Sum of squares proof by double counting