カール・フリードリヒ・ガウス
The theorem was first proved by Carl Friedrich Gauss in 1823.