(a.) Of or pertaining to a theorem or theorems; comprised in a theorem; consisting of theorems.