The result of the mathematician's creative work is demonstrative reasoning, a proof; but the proof is discovered by plausible reasoning, by guessing.
"Induction and Analogy in Mathematics". Book by George Polya, 1954.
