theorem :: XPRIMES2:4922

canceled;