I would like to write a proof of the following statement $ \delta^+(q,PQ) = \delta^+(\delta^+(q,P),Q) $
$\delta^+$ - Extended transition function
I have to do it by induction. However, I'm not sure what I should do. At first, check it for $P = \epsilon$ and $Q = \epsilon$, right? What next?