A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set