\begin{exerciseStatement}
Explain how to find the general solution to the given ODE, and the particular solution to the given IVP.
\[ 0 = 5 \, {y'} - 10 \, {y} ,\hspace{1em}
y\big( \log\left(2\right) \big)= 16 \]
Then show how to verify that your particular solution is correct.
\end{exerciseStatement}
\begin{exerciseAnswer}
\[ {y} = k e^{\left(2 \, t\right)} \]\[ {y} = 4 \, e^{\left(2 \, t\right)} \]
\end{exerciseAnswer}