theorem :: XPRIMES2:4983

canceled;