theorem :: XPRIMES0:1058

not 1058 is prime