1: \begin{proof} (not rigorous) For any $t \in \R$, stalk at $t$ is 

2: \[ (Rq_*(\F_{\R \times [s_-,s_+)}))_t = H^*(\R, \F_{\R \times [s_-, s_+)}|_{\{t\} \times \R}). \]

3: The only case that this is non-zero is when 

4: \[ \F_{\R \times [s_-, s_+)}|_{\{t\} \times \R} = \k_{[\lambda_-, \lambda_+]} \,\,\mbox{or}\,\, \k_{(\lambda_-, \lambda_+)} \]

5: for some closed or open interval $[\lambda_-, \lambda_+]$ or $(\lambda_-, \lambda_+)$. For brevity, we only consider the closed interval case. Also without loss of generality, assume $\lambda_- = s_-$, then it corresponds to Figure \ref{i16}. 

6: \begin{figure}[h]

7: \centering

8: \includegraphics[scale=0.4]{i16}

9: \caption{Starting figure of a sheaf (closed interval)}

10: \label{i16}

11: \end{figure} 

12: Now we want to move around $t$ and investigate how the sheaf can be nearby. We list the following four possibilities, see Figure \ref{i17}.

13: \begin{figure}[h]

14: \centering

15: \includegraphics[width=14cm, height=8cm]{i17}

16: \caption{Sheaf's evolution constrained by singular support}

17: \label{i17}

18: \end{figure}

19: The first and last ones are {\it not} allowed due to the restriction on singular support (\ref{cone-s}). For the other two admissible cases, repeatedly using this argument, one knows $\F$ has to ``escape'' from the strip region, see Figure \ref{i18}.

20: \begin{figure}[h]

21: \centering

22:  \includegraphics[scale=0.45]{i18}

23:  \caption{Escaping region for sheaf's evolution}

24:  \label{i18}

25:  \end{figure}

26: Therefore, view $Rq_*(\F_{\R \times [s_-,s_+)})$ as a collection of bars (equivalently assuming it is constructible), it does not have any bar with length greater than $s_+ - s_-$, which means it is $(s_+ - s_-)$-torsion.

27: \end{proof}

28: