theorem :: XPRIMES0:1046

not 1046 is prime