תוספות על עירובין מה.

אי מצלח אי לא מצלח - וא"ת א"כ היכא דריש ר' דוסתאי דמחללין עליו השבת דלמא חול היה אי משום דמספקא ליה דכתיב וישאל דוד הא מסקינן אי מצלח אי לא מצלח ויש לומר דמוכחא מילתא מדקאמר נלחמים בקעילה דקרי ליה מלחמה ומסר דוד נפשיה עליה אע"פ שלא באו אלא על עסקי תבן וקש שמע מינה דמחללין עליה נמי את השבת: