k  lem4  k