Erlang induction step

Derive the formula:

Exp(λ)+Erlang(,λ)Erlang(+1,λ)

Observation: By repeatedly applying the above formula, we see that:

Exp(λ)++Exp(λ) termsErlang(,λ)