theorem :: XPRIMES0:1070

not 1070 is prime