theorem :: XPRIMES0:1011

not 1011 is prime