theorem :: XPRIMES0:655

not 655 is prime