added embedtheorems.tex