reimplemented lemmas about id on sigma
renamed file to reflect its contents
adapted files to account for renaming of auxiliary file
Merge pull request #42 from benediktahrens/total2-lemmas

re-implement lemmas to avoid copyright issues, change name of the file containing those lemmas