theorem :: XPRIMES2:2962

canceled;