theorem :: XPRIMES0:782

not 782 is prime