The reverse of a string, introduced informally above, can be defined more precisely by the recursive rules ar = a, (wa)r = awr, for all a ∈ σ, w ∈ σ*. use this to prove that (uv)r = vrur, for all u, v ∈ σ+.