theorem :: XPRIMES0:58

not 58 is prime