theorem :: NUMBER19:27

{ q where q is Prime : ex n being Nat st
( n < q & q divides ((n -' 1) !) + 1 ) } is infinite