theorem :: XPRIMES2:6893

canceled;