רש"י על עירובין כד.

1פשיטא - דבפתח ולבסוף הוקף שרי שהרי הוקף לשם פתח:

2לא צריכא דאית ביה בי דרי - גורן אחר הבית קודם היקף הרחבה:

3מהו דתימא אדעתא דבי דרי פתחיה - ולאו אדעתא להקיף שם רחבה: