theorem :: XPRIMES2:6982

canceled;