Теорема о квадрате касательной: Формулировка и доказательства