Babylonian Talmud, Tractate Niddah

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