Ora, não se tendo provado o pagamento da liquidação anulada no processo principal de impugnação, nada há a restituir, esgotando-se a execução do julgado com a anulação da liquidação, tal como foi ordenado na sentença.