Se o tivesse feito, naturalmente, o tribunal poderia dar tal factualidade como provada; não o tendo feito, como sucede, o tribunal julgou, como devia, em face dos meios de prova produzidos, demonstrada a precisa alegação dos Autores.