lem-1 , of "v