A professor introduced me to Euclid's Elements a long time ago, and he had us derive the principles from the axioms one by one in order, as Euclid did. It's a f

A professor introduced me to Euclid's Elements a long time ago, and he had us derive the principles from the axioms one by one in order, as Euclid did. It's a fun exercise!