Sorted some of the files into folders.
Lemma 2, extension is now completed.