The reverse of a string, introduced informally above, can be defined more precisely by the recursive rules

$a^R=a,$

$(wa{)}^R=a{w}^R,$

for all $ain,$win${}^{*}.$ Use this to prove that

$(uv{)}^R=v^R{u}^R,$

for all $u,$vin${}^{+}.$