theorem :: XPRIMES0:1083

not 1083 is prime