theorem :: XPRIMES2:6714

canceled;