Teorema 17 Si dos lineas son perpendiculares, entonces ellas forman angulos adjacentes congruentes.