The law of compensation for unexhausted agricultural improvements