Theorem of 3 perpendiculars