19. 在判定树归纳中，树剪枝是有用的。