From Latin corōllārium 'gratuity, bonus garland,' applied in logic to mean a proposition that follows naturally from another.
A proposition that follows directly from one already proven, or a natural consequence or result.
From Latin corōllārium, originally 'money paid for a garland' or a tip given to actors, from corōlla 'small garland,' diminutive of corōna 'crown, wreath.' In logic, it came to mean a bonus proposition—something extra you get 'for free' after proving the main theorem. Key roots: *sker- (Proto-Indo-European: "to turn, bend (whence crown,