amsthm与定理

Latex编译出现错误“undefined controlled sequence”，有时是由于没有引用amsthm宏包所致。