Lemma 2.1.6. Assuming that:

$M \to_{β} N$

Then

M^{*} ↠_{β} N^{*}

.