theorem :: XPRIMES0:716

not 716 is prime