theorem :: XPRIMES0:1047

not 1047 is prime