demostración teorema sobre pendiente de rectas perpendiculares