#Requires: theorems-bytype | theorems-ams-bytype
#Excludes: theorems-std | theorems-ams | theorems-starred | theorems-sec | theorems-sec-bytype
#Requires: theorems-bytype | theorems-ams-bytype
#Excludes: theorems-std | theorems-ams | theorems-starred | theorems-sec | theorems-sec-bytype