theorem :: XPRIMES0:652

not 652 is prime