method of counterexamples

Мат. метод контрпримеров