Yes, bad article to omit that. It is such a cool fun fact. Gauss was unreal.