theorem :: XPRIMES0:708

not 708 is prime