theorem 10-5