Add three perpendiculars theorem proof