K-k-m theorem