Алгебраический метод доказательства: основные принципы