The result of the mathematician’s creative work is demonstrative reasoning, a proof, but the proof is discovered by plausible reasoning, by GUESSING.