theorem :: XPRIMES0:1769

not 1769 is prime