theorem :: XPRIMES0:1012

not 1012 is prime