theorem 10-6