修改了结论，假设2的验证