Create Link_Equivalence_Theorems.thy