theorem2.6