in Theorem 2