Added proofs for equivalences.