אנגלית ⇄ ליטאית רוסית +

tree-form proof מתח
Gruzovik, .מָתֵי	ветвящееся доказательство
tree form proof
.טכנול	ветвящееся доказательство; доказательство в форме дерева
.מָתֵי	доказательство в виде дерева