added discussions for 3 lemma with proof, defined C-closed