A theorem of finite sets