труктура теоремы. Импликативная и категорическая формы теоремы. Доказательство теоремы. Виды и методы доказательства