[练习题]是考释和证明的合称。