Lemma Quotes (2 quotes)
If it were always necessary to reduce everything to intuitive knowledge, demonstration would often be insufferably prolix. This is why mathematicians have had the cleverness to divide the difficulties and to demonstrate separately the intervening propositions. And there is art also in this; for as the mediate truths (which are called lemmas, since they appear to be a digression) may be assigned in many ways, it is well, in order to aid the understanding and memory, to choose of them those which greatly shorten the process, and appear memorable and worthy in themselves of being demonstrated. But there is another obstacle, viz.: that it is not easy to demonstrate all the axioms, and to reduce demonstrations wholly to intuitive knowledge. And if we had chosen to wait for that, perhaps we should not yet have the science of geometry.
In Gottfried Wilhelm Leibnitz and Alfred Gideon Langley (trans.), New Essays Concerning Human Understanding (1896), 413-414.
In the discovery of lemmas the best aid is a mental aptitude for it. For we may see many who are quick at solutions and yet do not work by method ; thus Cratistus in our time was able to obtain the required result from first principles, and those the fewest possible, but it was his natural gift which helped him to the discovery.
— Proclus
As given in Euclid, The Thirteen Books of Euclid's Elements, translated from the text of Johan Ludvig Heiberg by Sir Thomas Little Heath, Vol. 1, Introduction and Books 1,2 (1908), 133. The passage also states that Proclus gives the definition of the term lemma as a proposition not proved beforehand. Glenn Raymond Morrow in A Commentary on the First Book of Euclid's Elements (1992), 165, states nothing more seems to be known of Cratistus.