theorem :: XPRIMES2:4962

canceled;