If many years are still left, he must pay his redemption price in proportion to them based on his purchase price.