Теория графов: доказательства ключевых теорем