proof graph

Мат. граф доказательства