theorem :: XPRIMES2:2953

canceled;