theorem :: XPRIMES0:786

not 786 is prime