theorem :: XPRIMES2:6951

canceled;