theorem Th19: :: NUMBER19:19

for n being natural odd number st n > 1 holds
( n + 2 is prime iff not n + 2 divides (n -' 1) ! )