HM.LMIR.3.2: Prove the first five propositions in Book I of Euclid’s Elements.