finished newlemma6