theorem :: XPRIMES0:831

not 831 is prime