modifications to proof in section 4