theorem :: XPRIMES2:8983

canceled;