theorem :: XPRIMES0:1784

not 1784 is prime