lemma added: centers in case of a single K-var