theorem :: XPRIMES0:1937

not 1937 is prime