No que diz respeito ao facto indicado na supra-referida al., para além do que vem provado em a, nada mais há a dar por assente, designadamente, não há que dar por assente os cálculos desenvolvidos pelo A. sob a al.. Esta alínea contém, sobretudo, um juízo conclusivo, desenvolvido pelo A., que não se retira indubitavelmente ou por mera regra de cálculo aritmético a partir do que vem expresso no CE.