#theorem #formula proof #equation result #math conclusion #quantification