4. Years or parts of a year of service redeemed are counted proportionately to the amounts paid in capital for them in relation to 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 for during the marriage or civil union.