硬解定理1