theorem :: XPRIMES0:665

not 665 is prime