I hadn't known it, but you're right, Gauss proved that in his diary (which wasn't discovered until he had been dead 50 years).