theorem :: XPRIMES0:611

not 611 is prime