theorem Th19: :: NAT_4:19

for p being Prime
for n being Nat st n < p holds
not p divides n !