theorem :: XPRIMES2:173

canceled;