theorem :: XPRIMES0:783

not 783 is prime