theorem :: XPRIMES2:2941

canceled;