theorem :: XPRIMES0:928

not 928 is prime