expand proof 2nd part