Теорема была практически доказана Евклидом (в книге 7 элементов Евклида, предложения 30 и 32), но первое полное и правильное доказательство найдено в Disquisitiones Arithmeticae Карла Фридриха Гаусса.
Первый подробный и правильный был в Disquisitiones Arithmeticae Карла Фридриха Гаусса.