Reference for Yevamot 5:13

מנינא דרישא למעוטי מאי ומנינא דסיפא למעוטי מאי

— If FROM THE LEVIRATE MARRIAGE only had been stated it might have been assumed that she must perform <i>halizah</i><span class="x" onmousemove="('comment',' In order that the law of the levirate marriage be not entirely abrogated. ');">³⁴</span> though she is exempt from the levirate marriage, hence it was taught<span class="x" onmousemove="('comment',' By the use of the expression, exempt'. ');">³⁵</span> that whoever is subject<span class="x" onmousemove="('comment',' Lit., 'goes up' sc. to the gate, i.e., the court (cf. Deut. XXV, 7.) ');">³⁶</span> to the obligation of levirate marriage is also subject to <i>halizah</i> and whosoever is not subject to the obligation of the levirate marriage is not subject to <i>halizah</i>. Let it [first] be stated,<span class="x" onmousemove="('comment',' In our Mishnah. ');">³⁷</span> FROM THE LEVIRATE MARRIAGE [and then] FROM THE <i>HALIZAH</i>,<span class="x" onmousemove="('comment',' The marriage surely is of greater importance than the halizah, the latter being only an alternative of the former. V. Deut. XXV. 7. ');">³⁸</span> or else only FROM THE <i>HALIZAH</i>?<span class="x" onmousemove="('comment',' The exemption from the marriage being then self-evident. ');">³⁹</span> — This Mishnah represents the view of Abba Saul who maintains that the commandment of <i>halizah</i> takes precedence over that of levirate marriage.<span class="x" onmousemove="('comment',' Infra 39b, 109a. And if only FROM THE HALIZAH had been stated, there would be no basis for this inference. ');">⁴⁰</span> What [was intended] to be excluded [by the] numeral at the beginning<span class="x" onmousemove="('comment',' Of our Mishnah, 'FIFTEEN'. ');">⁴¹</span> and what [again was intended] to be excluded [by the] numeral at the end?<span class="x" onmousemove="('comment',' Of the list; 'ALL THESE', implying the 'FIFTEEN' mentioned. If nothing were to be excluded, there would be no need for the addition of a cardinal at the beginning, or of a reference to it at the end of a list which presumably enumerated all possible cases. ');">⁴²</span>

Jastrow