Giáo trình toán học - Tập 3 P15

Phần chứng minh tổng quát, với bậc n là số nguyên tố, được đưa ra bởi Ferdinand Eisenstein trong những năm 1844–1850, và Ernst Eduard Kummer trong những năm 1850–1861. Và định lý tương hỗ dạng tổng quát với mọi n được chứng minh bởi Emil Artin vào những năm 1920, do đó, định lý này còn gọi là Định lý tương hỗ Artin.