Added amsthm package to preamble
merge with master