Proof The theorem was practically proved by Euclid -LRB- in book NUMBER@1 of LOCATION@1 's elements , propositions NUMBER@2 and NUMBER@3 -RRB- , but the first full and correct proof is found in the Disquisitiones Arithmeticae by PERSON@1 .

The first detailed and correct proof was in the Disquisitiones Arithmeticae by PERSON@2 .
