Proof Theorem 5.3

Fleshing out Theorem 5.3, one half shown