但是在归纳假设中，"C"已经是最小的反例了；因此，开始的或许有些反例的猜想被证明了是错误的。 '更小'的偏序意味着只要"S"比"T"的节点少那么"S" < "T"。
结构递归.结构递归和结构归纳法的关系就象普通的递归和普通的数学归纳法一样。