using an Euclid’s axiom.