Since dpi is external in ti, by induction hypothesis there is w1 such that ll] ... We are done by taking w =deft [t'Ax] since (Xx.t{)t' is a descendant of ...
確定! 回上一頁