The phrase "a proof that is" is correct and usable in written English.
It can be used when introducing or referencing a specific proof or argument in a discussion or academic context.
Example: "The theorem is supported by a proof that is both rigorous and comprehensive."
Alternatives: "a demonstration that is" or "an argument that is".
"A proof that is unfinished is no proof at all," Dr. Ribet said.
The most important special case of the differentiability results, that Lipschitz mappings from a Hilbert space into the plane have points of Fréchet differentiability, is given its own chapter with a proof that is independent of much of the work done to prove more general results.
My own experience has been that in doing mathematics, the most important thing is one's aesthetic sense: everything is terribly abstract, and one's ability to sense patterns, design and structure is all one can truly rely on in pursuit of understanding, always looking for a proof that is elegant.
A proof that is a Cartan-Hadamard manifold (and thus a global NPC space) may be found in [19].
One difficulty for any proposed rigorization is the 'generalization problem': how can a proof that is linked to a specific diagram be generalized to other cases?
There is an algorithm to recover the formulas that constitute a proof of the type of the combinator, moreover, the algorithm produces a proof that is minimal and well-structured.
In fact, many prominent scientists refused to believe atoms existed well into the late 19th century and it took Einstein to come up with a proof that was widely accepted.
It is based on the assumption that any proof that a property A on sequences is a bar can be decomposed into a canonical proof that is well-ordered.
We present here a different proof that is mainly based on property of firmly nonexpansive mappings.
"We can't accept proof that is a long way from being convincing," said Dmitry Peskov.
It's an existence proof that's personally inspiring.
