Completely rephrase equivalence theorem.