Have you written anything about the process of figuring out the shape of the theorem to be proved, and/or identifying the plausibility of a theorem?
Have you written anything about the process of figuring out the shape of the theorem to be proved, and/or identifying the plausibility of a theorem?