If there are still many years, he shall refund part of his purchase price in proportion to them for his own redemption;