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