theorem 9-12