128.假设不成立