Exponential e in terms of basic hypergeometric phi

Theorem: The following formula holds: $$e_q(z) = {}_1\phi_0(0;-;q;z),$$ where $e_q$ is the $q$-exponential $e$ and ${}_1\phi_0$ denotes the basic hypergeometric series phi.

Proof: █