theorem :: XPRIMES0:923

not 923 is prime