theorem :: XPRIMES0:706

not 706 is prime