Let the following be postulated:
- To draw a straight line from any point to any point.
- To produce a finite straight line continuously in a straight line.
- To describe a circle with any center and distance.
- That all right angles are equal to one another.
- That, if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles.
- Things which are equal to the same thing are also equal to one another.
- If equals be added to equals, the wholes are equal.
- If equals be subtracted from equals, the remainders are equal.
- Things which coincide with one another are equal to one another.
- The whole is greater than the part.