PROOFS OF EQUIVALENCE