theorem :: XPRIMES2:6950

canceled;