אנגלית ⇄ סינית +

inductive proof method
.טֶכנו	归纳证明法