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