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

F

В

З

С

Т