Meanings (ES + gloss)
corolario
A proposition which follows easily from the statement or proof of another proposition.
We have proven that this set is finite and well ordered; as a corollary, we now know that there is an order-preserving map from it to the natural numbers.
Word forms