theorem :: XPRIMES2:2902

canceled;