Composite theorem

  1. REDIRECT Wilson's theorem