theorem :: XPRIMES2:6962

canceled;