A Theorem Of Finite Sets