Refined the first three lemmas