theorem :: XPRIMES0:1053

not 1053 is prime