theorem :: XPRIMES0:705

not 705 is prime