theorem :: XPRIMES0:1010

not 1010 is prime