antaga , att K.