метод контрпримеров

Мат. method of counterexamples