theorem :: XPRIMES0:711

not 711 is prime