Axiom:Euclid's Third Postulate
From ProofWiki
Given any line segment, a circle can be drawn using the segment as the radius with one endpoint as the center.
Given any line segment, a circle can be drawn using the segment as the radius with one endpoint as the center.