theorem :: XPRIMES2:2943

canceled;