Ao dar como provados e não provados os factos que deu, o Tribunal a quo teria, necessariamente, que retirar conclusão diferente da que retirou na decisão de que agora se recorre, ou seja, com base nos factos que deu como provados e não provados, o Tribunal a quo tinha, necessariamente, que condenar a RÉ.