Lagrange's theorem on the sum of four squares (#564) - Basecamp