Nodes of term доказательства

В

С

Т