"The oldest definition of Analysis as opposed to Synthesis is that appended to Euclid XIII. 5. It was possibly framed by Eudoxus. It states that "Analysis is the obtaining of the thing sought by assuming it and so reasoning up to an admitted truth: synthesis is the obtaining of the thing sought by reasoning up to the inference and proof of it." In other words, the synthetic proof proceeds by shewing that certain admitted truths involve the proposed new truth: the analytic proof proceeds by shewing that the proposed new truth involves certain admitted truths."