Stating Propositions 7 and 8 of Euclid's Elements Book I in modern terms
I easily understand these propositions and what they entail, but I am not exactly sure how one can state these propositions in modern mathematical terminology and notation. Any help would be appreciated.