A partir de esto queda claro que, si hay dos ángulos planos iguales y se levantan desde ellos rectas iguales que comprendan ángulos iguales respectivamente con las rectas iniciales, las perpendiculares trazadas desde (los extremos de) ellas hasta los planos en los que están los ángulos iniciales, son iguales entre sí.