Reference for Makkot 29:7
אלא לא יאמר לו תהיה לאשה במוציא שם רע וליגמר מאונס ומה אונס שאינו לוקה ומשלם אמר רחמנא ולו תהיה לאשה מוציא שם רע לא כל שכן ולמה נאמר אם אינו ענין למוציא שם רע תנהו ענין לאונס אם אינו ענין לפניו תנהו ענין לאחריו
So rather "she shall be to him for a wife" should not have been stated by Motzei Shem Rah, and it could have been derived from Oneis. If by Oneis which doesn't have [the double punishment] of malkus and monetary payment, the Torah says, "she shall be to him for a wife", then is not Motzei Shem Rah even more so? Why then is it repeated [by Motzei Shem Rah, if it can just be derived from Oneis]? If it is not needed to teach us anything by Motzei Shem Rah, then apply this commandment by Oneis. If it is not needed before [he divorces her], apply it afterwards.