theorem :: XPRIMES0:1081

not 1081 is prime