theorem :: XPRIMES2:6943

canceled;