theorem-proving heuristics

Мат. эвристика доказательства теоремы