theorem :: XPRIMES2:7019

7019 is prime