theorem :: XPRIMES2:6877

canceled;