theorem Th26: :: NUMBER19:26

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