Original: Proof The theorem was practically proved by Euclid (in book 7 of Euclid's elements, propositions 30 and 32), but the first full and correct proof is found in the Disquisitiones Arithmeticae by Carl Friedrich Gauss.
Simplified: The first detailed and correct proof was in the Disquisitiones Arithmeticae by Carl Friedrich Gauß.