theorem :: XPRIMES0:1665

not 1665 is prime