theorem :: XPRIMES0:714

not 714 is prime