A special case was first proven by Ernst Kummer (1847) while the general result is due to Ludwig Stickelberger (1890).
Ett specialfall bevisades först av Ernst Kummer (1847), och det allmänna fallet bevisades av Ludwig Stickelberger (1890).