Proof for a general k (not really satisfying)