[math-fun] Thanks for the replies about sums of squares ...