Adding proof for any k to slides