giving up on rewrite of main proof
reproducing original proof of main ch 5 result
finish rewrite of main ch 5 proof