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

F

З

П

С

Т