theorem-finding heuristics

Мат. эвристика построения теоремы