[math-fun] Sum of squares formula