The pcf chapter: ps file A direct proof of Galvin Hajnal ps file