Expanded the proofs of Propositions BG and connected.