1009 假设不成立