“If there are still many years left, he shall pay proportionately for his redemption some of his sale price.”