什么是必要条件