Theorem 2.