theorem 9-13