theorem :: XPRIMES0:1778

not 1778 is prime