theorem :: XPRIMES2:2997

canceled;