Combinatorial argument