Fixed an issue with the lemma - it's a little weaker than previously thought
Added more on the general theory in the slides - through the lemma.