卡爾·弗里德里希·高斯
The theorem was first proved by Carl Friedrich Gauss in 1823.