theorem :: XPRIMES0:1084

not 1084 is prime