theorem :: XPRIMES0:1052

not 1052 is prime