1: \begin{proof}

2: We present a sketch of the proof and refer the reader to \cite[Section 3]{TCGJ} for a rigorous proof in an analogous setting.

3: First observe that $\zeta_{\gamma} (\cdot)$ are unique forwards by Lemma \ref{Lem_lem}.

4: Secondly, if $\zeta^1 < \zeta^2$ and $\zeta^1(t)=\gamma = \zeta^2(t)$ then for every $\zeta^1 < \zeta < \zeta^2$ we have $\zeta(t)=\gamma$ by forwards uniqueness of characteristics. Thus for every $\gamma$ there exists a cone of characteristics $\zeta^{\lambda}_{\gamma}(\cdot)$ such that $\zeta^{\lambda}_{\gamma}(t) = \gamma$. If the cone of characteristics contains more than one characteristic, then it sweeps positive area, i.e. $|\bigcup_{\lambda}\bigcup_{s \in [0,t]} \{(s,\zeta_{\gamma^{\lambda}}(s))\}|>0$. Due to uniqueness forwards, cones for different $\gamma$ are disjoint. There can be at most countably many $\gamma$ with cones of positive area. Thus only for countably many $\gamma$ there exists more than one $\zeta_{\gamma}$ such that $\zeta_{\gamma}(t)=\gamma$.

5: \end{proof}

6: