Em segundo lugar, é indiscutível que é necessário que se provem por documento o facto constitutivo do contracrédito e as suas características relevantes para o efeito do artigo 847 do Código Civil, bem como a declaração de querer compensar art.