Definição 2: Retas ortogonais são reversas e formam um ângulo reto.

Definição 3: Retas perpendiculares são concorrentes e formam ângulo reto.

Definição 4: Retas concorrentes são retas que se interceptam em um único ponto.

Teorema Recíproco: Se uma reta não contida em um plano é paralela a uma reta do plano,
então, ela é paralela ao plano. Teorema unificado: Uma reta é paralela a um plano se, e
somente se, ela for paralela a uma reta deste plano.

Nota: Nem sempre todas as informações que temos na hipótese e tese de um teorema

serão exatamente as mesmas que teremos no seu recíproco, pois algumas

informações estão implícitas no teorema. A escrita da expressão unificada é

importante neste aspecto.