theorem :: XPRIMES0:656

not 656 is prime