theorem [pl. theorems]