#Defines theorem environments and the proof environment using the extended
#AMS machinery. Both numbered and unnumbered types are provided. By default,
#the theorems are numbered consecutively throughout the document. This can be
#Defines theorem environments and the proof environment using the extended
#AMS machinery. Both numbered and unnumbered types are provided. By default,
#the theorems are numbered consecutively throughout the document. This can be