k  lem-3  k