difficult combinatorial properties proof