theorem :: XPRIMES0:662

not 662 is prime