theorem :: XPRIMES0:778

not 778 is prime