Theorem 7.