Artículo 1509 del Código Civil

Si el vendedor no cumple lo prescrito en el artículo 1.518, el comprador adquirirá irrevocablemente el dominio de la cosa vendida.

Artículo 1509 Código Civil