Dibur_hamatchil על שמות 17:16

תניא רבי יהודה אומר שלש מצות נצטוו ישראל בכניסתן לארץ להעמיד להם מלך ולהכרית זרעו של עמלק ולבנות להם בית הבחירה ואיני יודע איזו תחלה, כשהוא אומר כי יד כל כס יה מלחמה לה' בעמלק הוי אומר להעמיד להם מלך תחלה, ואין כס אלא מלך שנאמר וישב שלמה על כסא ה'. ועדיין איני יודע אם להכרית זרעו של עמלק תחלה אם לבנות להם בית הבחירה תחלה. כשהוא אומר והניח לכם מכל אויביכם מסביב וישבתם בטח והיה המקום אשר יבחר ה' אלהיכם בו לשכן שמו שם הא למדת להכרית זרעו של עמלק תחלה. וכן בדוד הוא אומר ויהי כי ישב המלך (דוד) בביתו וה' הניח לו מסביב וגו' ויאמר המלך אל נתן הנביא ראה נא אנכי יושב בבית ארזים וארון האלהים יושב בתוך היריעה: