Merged proof of Theorem 2 back in.