theorem :: XPRIMES0:931

not 931 is prime