theorem :: XPRIMES0:718

not 718 is prime