Finished modifying the main_lemma to be working with sublist and added necessary sublist lemmas