theorem :: XPRIMES2:6966

canceled;