Babylonian Talmud, Tractate Yevamot

ובמשנה תורה מאי טעמא דדריש איבעית אימא משום דמוכח ואיבעית אימא משום דמופני איבעית אימא משום דמוכח דאם כן לכתביה רחמנא גבי עריות ואיבעית אימא משום דמופני דאם כן לכתוב רחמנא לא יקח איש את אשת אביו לא יגלה כנף אביו למה לי ש"מ לאפנויי

וגבי ציצית נמי איבעית אימא משום דמוכח ואיבעית אימא משום דמופנה איבעית אימא משום דמוכח דא"כ לכתביה רחמנא גבי פרשת ציצית למאי הלכתא כתביה הכא ואיבעית אימא משום דמופנה מכדי כתב ובגד כלאים שעטנז לא יעלה עליך לא תלבש שעטנז ל"ל ש"מ לאפנוייהני מצרך צריכי דאי כתב רחמנא לא יעלה עליך הוה אמינא כל דרך העלאה אסר רחמנא ואפילו מוכרי כסות כתב רחמנא לא תלבש שעטנז דומיא דלבישה דאית ביה הנאה ואי כתב רחמנא לא תלבש ה"א דוקא לבישה דנפיש הנייתה אבל העלאה לא כתב רחמנא לא יעלה עליך א"כ לכתוב רחמנא לא תלבש שעטנז צמר ופשתים למה לימכדי כתב ובגד כלאים שעטנז לא יעלה עליך ותנא דבי רבי ישמעאל הואיל ונאמרו בתורה סתם בגדים ופרט לך הכתוב באחד מהן צמר ופשתים אף כל צמר ופשתים צמר ופשתים דכתב רחמנא ל"ל ש"מ לאפנויי