Wilson’s theorem Chandan Singh Dalawat (2009) Journal de Théorie des Nombres de Bordeaux We show how K. Hensel could have extended Wilson’s theorem from Z to the ring of integers 𝔬 in a number field, to find the product of all invertible elements of a finite quotient of 𝔬 .