theorem :: XPRIMES0:1041

not 1041 is prime