Hi all, thanks to the …

Hi all,

thanks to the person who pointed at in the proof today that the case k=0 need not be considered (since we are assuming it out). Will update the notes on that point later today.