פרישה, חושן משפט פו:ג

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