Reference for Yevamot 109:21

ואיצטריך למכתב ערירים יהיו ואיצטריך למכתב ערירים ימותו דאי כתב רחמנא ערירים יהיו ה"א עד חטאיה אבל מחטאיה ואילך לא כתב רחמנא ערירים ימותו ואי כתב רחמנא ערירים ימותו ה"א מחטאיה ואילך אבל מעיקרא לא צריכא:

And it was necessary to write <i>They shall be childless</i>,<span class="x" onmousemove="('comment',' Lev. XX, 21. ');">⁴⁵</span> and it was also necessary to write, <i>They shall die childless</i>.<span class="x" onmousemove="('comment',' Ibid. 20. ');">⁴⁷</span> For had the All Merciful written only, <i>They shall be childless</i>,<span class="x" onmousemove="('comment',' Lev. XX, 21. ');">⁴⁵</span>

Jastrow