метод доказательства теоремы