Как доказать ad BC: основные принципы и методы