theorem :: XPRIMES2:6891

canceled;