theorem :: XPRIMES0:173

canceled;