Added theorem package, commented in environments that apparently won't work. Fix ASAP
'