- 多余假设