Теорема о трёх перпендикулярах: формулировка и доказательство