0 . , kvminlemmas