The proof of Theorem 3.11 involves checking a large number of special cases. We shall give a proof of some of the representative parts, and omit some of the details.

The remaining cases can be verified by much the same approaches.