Legendre's_three-square_theorem loading ...