Reference for Yevamot 8:3

הני מצרך צריכי דאי כתב רחמנא לא יעלה עליך הוה אמינא כל דרך העלאה אסר רחמנא ואפילו מוכרי כסות כתב רחמנא לא תלבש שעטנז דומיא דלבישה דאית ביה הנאה

the text] is superfluous.<span class="x" onmousemove="('comment',' V. p. 12, n. 10. ');">⁷</span> 'If you prefer I might say: Because [there the deduction] is obvious', for otherwise,<span class="x" onmousemove="('comment',' Lit., 'if so', i.e., if the text was meant to convey its plain meaning only. ');">⁸</span> the All Merciful should have written [the precept] in the section of zizith;<span class="x" onmousemove="('comment',' V. Glos. ');">⁹</span>

Jastrow