theorem :: XPRIMES0:717

not 717 is prime