**Step 2: Derivation of the solution.** Suppose $y: I \to \mathbb{R}$ is a $C^1$ solution of $y' + a\,y = b$. Multiply both sides by $\mu(t)$:
\begin{align*}
\mu(t)\,y'(t) + \mu(t)\,a(t)\,y(t) &= \mu(t)\,b(t).
\end{align*}
By Step 1, $\mu(t)\,a(t) = \mu'(t)$, so the left-hand side is $\mu(t)\,y'(t) + \mu'(t)\,y(t) = \frac{d}{dt}\bigl[\mu(t)\,y(t)\bigr]$ by the product rule. Hence
\begin{align*}
\frac{d}{dt}\bigl[\mu(t)\,y(t)\bigr] &= \mu(t)\,b(t).
\end{align*}
Integrating both sides from $t_0$ to $t$ and using $\mu(t_0)\,y(t_0) = 1 \cdot y_0 = y_0$:
\begin{align*}
\mu(t)\,y(t) - y_0 &= \int_{t_0}^t \mu(s)\,b(s)\,d\mathcal{L}^1(s).
\end{align*}
Dividing by $\mu(t) > 0$ gives the claimed formula:
\begin{align*}
y(t) &= \mu(t)^{-1}\Bigl(y_0 + \int_{t_0}^t \mu(s)\,b(s)\,d\mathcal{L}^1(s)\Bigr).
\end{align*}
This shows that every solution must equal the right-hand side, establishing uniqueness. It remains to verify existence: define $y$ by this formula. Then $y \in C^1(I)$ (since $\mu$ and $b$ are continuous), $y(t_0) = \mu(t_0)^{-1}(y_0 + 0) = y_0$, and reversing the computation above confirms that $y' + a\,y = b$.