a. Of or pertaining to a theorem or theorems; comprised in a theorem; consisting of theorems.
a. theorem的变形