split off definition Delta_k

I have started to use these a lot more, their definition should not be
inside a proof.