Thus the first occurrence of $ v_{1} $ in $ (v_{1}!approx!v_{1})!vee!sim!(exists v_{1})v_{1}!mathbf{R}v_{1} $ is free