Ou seja, o contra crédito que funda a compensação de crédito em causa terá, também, ele, de se fundar em documento para demonstrar o contra crédito que funda a invocada compensação. Isto quer dizer que não é admissível a utilização dos embargos de executado para a sua demonstração e verificação cf., entre outros, os Acórdãos do Supremo Tribunal de Justiça de 14-03-2013 e de 1-07-2014; e da Relação do Porto de 22-05-2017, inwww.dgsi.pt).