En el present cas, les sentències presentades a inscripció declaren la resolució del contracte de compravenda amb la devolució de la finca en el moment en el qual es paguin les quantitats a què van ser condemnats; per tant, aquesta acreditació del pagament pot efectuar-se pel propi Jutjat que coneix de l'execució en resolució judicial ferma o per manifestació dels propis creditors.