Основные условия и правила доказательства теорем