theorem :: XPRIMES2:877

canceled;