theorem :: XPRIMES2:2877

canceled;