To complete the proof of Theorem 2, we use the following auxiliary results





and