theorem :: XPRIMES0:927

not 927 is prime