theorem :: XPRIMES0:1927

not 1927 is prime