theorem :: XPRIMES0:1660

not 1660 is prime