Added cases to the equivalence proof.