theorem :: XPRIMES2:8943

canceled;