Axiom:Euclid's Common Notion 4