No fundo, no que respeita à situação específica dos autos, a compensação extrajudicial dita só relevará, enquanto invocação de uma excepção peremptória – facto extintivo, se o embargante provar por documento com força executiva o facto constitutivo do contracrédito.