1: \begin{proof}

2: The first part follows from the main theorem of \cite{brandao2015exponential}. The second follows from the 1D area law presented in \cite{arad2013area}, and $\log(d)$ dependence explicitly stated in \cite{arad2017rigorous}.

3: \end{proof}

4: