Finished proof for Period 5 in section 2