You may use the other results in section 4.1.