\( Z_{ \alpha '} \le Q_{ \alpha }\)

In this chapter, we conclude the proof of the main theorem by considering the anti-symmetric case: where \([Z_{\alpha }, Z_{\alpha '}]=\{1\}\) for a critical pair \((\alpha , \alpha ')\) .