Procede assim a pretensão dos autores de prosseguimento dos autos para sujeição a prova dos factos suprarreferidos que se mostrem controvertidos ou para serem desde já tidos por assentes, no caso de se encontrarem provados por acordo.