Added proofs from Proposition chapter