theorem :: XPRIMES2:2875

canceled;