結果 : derivative of step function proof