Corollary 2.1.7.
If
M
↠
β
N
, then
M
∗
→
β
N
∗
.