Completed cut-admissibility proof for LG.