эвристический контрпример

Мат. heuristic counterexample