delete useless sortingTheory.sorted_perm_eq

it is a trivial consequence of sortingTheory.SORTED_PERM_EQ