Modified main.tex so that it includes Wimedia

added amsthm package for theorems