theorem :: XPRIMES0:1773

not 1773 is prime