If a finite structure satisfies an equational theory, that theory cannot logically force infinitude ...
This proposition has not been edited since the history system was added.