For Euclid demonstrated that all angles enclosed between two straight lines drawn from the extremities of the diameter towards a point on the circumference of the circle are of necessity right angles, and that the contrary implies contradiction.