 Nonemptiness theorem for inverse limits of finite sets

An inverse system of nonempty finite sets over a directed index set has nonempty inverse limit. Give each set the discrete topology: the compatibility conditions are closed subsets of the compact product, and directedness gives them the finite intersection property.