theorem :: XPRIMES1:19

19 is prime