英语 ⇄ 俄语 立陶宛语 +

tree-form proof 强调
Gruzovik, 数学	ветвящееся доказательство
tree form proof
信息技术	ветвящееся доказательство; доказательство в форме дерева
数学	доказательство в виде дерева