stequiv_refl.
stequiv_sym.
Simply rewrite.
stequiv_trans.