Fix a little typo in the inversion lemma.
Fix a typo in the defition of solution for (\Gamma, t, S, C).