5.5.2 任意高阶KT和DP