k  lem-88  k