ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ — Логическое следование данной формулы из данной совокупности выведенных ранее формул.