A corollary is a proposition that follows with little or no proof from one other theorem or definition.