Some --- (Theo-Rem)s are "trivial," in the sense that they follow from definitions...