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

deduction theorem
.טֶכנו	演绎定理; 归约定理