#DescriptionBegin
#Defines only unnumbered theorem environments, and the proof environment, using
#the extended AMS machinery.
#DescriptionEnd
#Excludes: theorems-std | theorems-ams
#DescriptionBegin
#Defines only unnumbered theorem environments, and the proof environment, using
#the extended AMS machinery.
#DescriptionEnd
#Excludes: theorems-std | theorems-ams