Sum rule for deep-inelastic electroproduction from polarized protons