1.2 必要假设