Let $X$ be a random variable with probability distribution function:
$F(x) = \begin{cases} 1 - ae^{-x/5} : x \ge 0 \\ 0 : x < 0 \end{cases} $
Let $ Z = F(X)$, find the probability distribution function of $Z$.
My attempt: $F(z) = P(Z<z) = P(F(X) <z) = P(X <F^{-1}(z)) = F(F^{-1}(z)) = \begin{cases} z : z \ge 0 \\ 0 : z < 0 \end{cases} $
Is my answer correct and rigorous enough?