theorem 10.1.i