5.6 替代证明和重复