Nuclear binding effect in deep-inelastic lepton scattering