theorem :: XPRIMES0:1767

not 1767 is prime