Adds some PH classes.
Adds references.
Some slight reorganization and addition of filler text.
Greatly simplifies proof by using existing corollary.