Talk:Equivalence theorem