theorem :: NAT_4:29

19 is prime