theorem :: XPRIMES2:943

canceled;