Babylonian Talmud, Tractate Yevamot

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