Artigo 825.ºGarantia no caso de execução de coisa alheia

1. O adquirente, no caso de execução de coisa alheia, pode exigir que o preço lhe seja restituído por aqueles a quem foi atribuído e que os danos sejam reparados pelos credores e pelo executado que hajam procedido com culpa; é aplicável à restituição do preço o disposto no artigo 894.º 2. Se o terceiro tiver protestado pelo seu direito no acto da venda, ou anteriormente a ela, e o adquirente conhecer o protesto, não lhe é lícito pedir a reparação dos danos, salvo se os credores ou o devedor se tiverem responsabilizado pela indemnização. 3. Em lugar de exigir dos credores a restituição do preço, o adquirente pode exercer contra o devedor, por sub-rogação, os direitos desses credores.