Small correction proof 3.8ii