Euclidean geometry based on ruler and protractor axioms | lit.salon