inductive-Tangle_Equivalence