Abstract: In the proof of his first proposition, Euclid assumed that two circles intersect. That was not based on any of the axioms he stated earlier. We will give the necessary modern axioms for checking his claim and we show their relations.