Preposition: of

• calculus: Of course, the two are linked through the fundamental theorem of calculus.

• algebra: Gauss's dissertation was a discussion of the fundamental theorem of algebra.

Converse of object

• generalize: I proved, for example, a generalized coverage theorem that specialized to both the known complete lattice and preframe versions.

• prove: Given these, we can prove some useful theorems about the policy.

• derive: We also implement a proof checker for SPL which derives theorems in the HOL system from SPL proof scripts.

Adjective modifier

• binomial: Example 1.. 15 Use the binomial theorem to expand ( x + y ) 5.

• Pythagorean: My favorite school memory My favorite memory from school is the Pythagorean theorem.

• no-go: A famous 1996 no-go theorem by Lo, Chau, and Mayers claims that no such protocol exists, but has been repeatedly challenged.

• geometrical: Over all geometrical theorems they would be in complete agreement, only interpreting the words in terms of their respective intuitions.

• mathematical: However, the significance of a mathematical theorem is relative to its contexts.

• prime: The goal is to prove the prime number theorem in the form.

Modifies a noun

• prover: Using a theorem prover provides a natural way of dealing with this.

• provers: These tools have ranged from fault tree packages through to what some might consider exotic theorem provers.

• proving: Using tactics is not a novel idea, particularly in the area of theorem proving.

Noun used with modifier

• incompleteness: There is a theorem proved by Kurt Godel in 1931, which is the Incompleteness Theorem for mathematics.

• convolution: We make use of the convolution theorems for the Mellin transforms to produce analytic structures for part of the calculation.

• compactness: Kreisel's suggestion was taken up with great success by Barwise [ 1967 ] , where his compactness theorem was proved.

• four-colour: In MV they take some of these subjects further and include chapters on the four-colour theorem, Ramsey theory, Catalan numbers and more.

• isomorphism: Karp's partial isomorphism theorem was first proved in Karp [ 1965 ] ; see also Barwise [ 1973 ] .

• completeness: This completeness theorem turns out to be equivalent to the axiom scheme of replacement.