1: \begin{proof}

2:     It is sufficient to give a rigorous proof of existence of local RR

3:     satisfying the conditions of Theorem \myref{th:detach-wrong}:

4:     take $\vec x/t=0$ to be the reflection point.

5:     Choose some supersonic $1$-sector state.

6:     Then for sufficiently small $\tau$ (Figure \myref{fig:locrr-left} left)

7:     we can find a weak-type incident shock and a $2$-sector state

8:     with $M_2>1$, as well as a strong-type reflected shock with $\vec v_3$ parallel to the wall.

9:     Choose an opposite wall whose extension to a line 

10:     passes through the point $\vec x/t=\vec v_2$ (so that the slip condition

11:     \myeqref{eq:slipcond}

12:     in the $2$-sector is satisfied).

13:     If the angle between the two walls is chosen small enough, then the angle condition

14:     is violated.

15:     We can choose this local RR transonic as follows: by Proposition \myref{prop:shockpolar} applied to

16:     the incident shock polar, for sufficiently large $\tau$,

17:     $M_2\downarrow 1$, so $\tau_*\downarrow 0$ for the corresponding reflected shock polar 

18:     (Proposition \myref{prop:shockpolar}).

19:     For $\tau\approx\tau_*$, $M_3<1$ which necessarily happens as $\tau$ grows.

20: \end{proof}

21: