equivalence theorem