k. proposition , att K.