چکيده
We develop a method and apply it to prove several combinatorial theorems involving certain inezualities as nesesary and sufficient conditions . this method was first employed by halmos and vaughn to prove p. halls theorem on systems of distinct representatives
