At the very end of the proof it is not very clear as written why we have exactly m solutions for the embedding problem. Here is the link for the detailed explanation.
Addemdum to RSZ