Независимость и доказательства существования в комбинаторике,статья