4. The years or parts of a year of service redeemed are counted proportionately to the amounts paid in capital for their payment out of the total capital amount. Those years and parts of a year are deemed to be counted for the period of the marriage or civil union to the extent that they were paid during that period.