proof by recursion的意思|示意
美 / pru:f bai riˈkə:ʃən /
英 / pruf baɪ rɪˈkɚʒən /
[计] 递归证明