Эффективные методы доказательства в математике от противного