If two planes cut one another, then their intersection is a straight line.

Let two planes *AB* and *BC* cut one another, and let the line *DB* be their intersection.

I say that the line *DB* is a straight line.

For, if not, join the straight line *DEB* from *D* to *B* in the plane *AB,* and the straight line *DFB* in the plane *BC.*

Then the two straight lines *DEB* and *DFB* have the same ends and clearly enclose an area, which is absurd.

Therefore *DEB* and *DFB* are not straight lines.

Similarly we can prove that neither is there any other straight line joined from *D* to *B* except *DB,* the intersection of the planes *AB* and *BC.*

Therefore, *if two planes cut one another, then their intersection is a straight line.*

Q.E.D.

A more serious criticism of the proof is that it fails to prove the statement of the proposition. At most it shows that if two planes intersect at more than one point, then the line that joins them also lies in their intersection. But the possibility that their intersection consists of only one point is ignored. This is important as this proposition is used in XI.5 from two planes known to intersect at one point, a line of intersection is generated.

The real problem is that there is no postulate limiting space to three dimensions. In four or or more dimensions two planes may intersect in only one point. Neither Euclid nor anyone else before the nineteenth century recognized the possibility of higher dimensional geometry, but the flaws in this proof are apparent nonetheless. There are alternative postulates to limit the geometry to three dimensions. For instance, one is based on the idea that a plane divides space into two sides.