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. 848 do Código feita fora do processo, independentemente de saber agora se existe como ou não como sustenta o a necessidade de observar os requisitos legais da exequibilidade dos documentos.