To prove the theorem, she showed that the set could be equipped with a linear order compatible with the algebraic operations.

The professor discussed linear orders and their role in sorting algorithms.