Verificado o pressuposto, qualquer dos devedores pode livrar-se da sua obrigação por compensação com a obrigação da contraparte desde que se verifiquem os requisitos cumulativos enunciados no n 1 do art. 847, a saber: