theorem :: XPRIMES0:932

not 932 is prime