Before revision:  The goal of this paper is to give a simpler , self-contained, modular proof of this result for finite set systems.
After revision:  The goal of this paper is to give a simpler , self-contained, intuitive proof of this result for finite set systems.