This kind of local analysis provides conditions for solution that are necessary.
此類局部分析提供了其解為必要的條件。