first case of newlemma6 done