theorem :: XPRIMES0:1781

not 1781 is prime