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