theorem :: XPRIMES2:4966

canceled;