תולדות יצחק על התורה, שמות י:יט

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

לא נשאר ארבה אחד כתב רבינו חננאל מעת עתרת משה עד עכשיו אין ארבה מפסיד בכל גבול מצרים ואם יפול בארץ ישראל ויכנס בגבול מצרים אינו אוכל מיבול מצרים כלום וזה ידוע לכל ובצפרדעים שאמר ביאור תשארנה נשאר בו אל תמסח עד עכשיו אבל בארבה כתיב לא נשאר ארבה אחד בכל גבול מצרים ועל זה נאמר שיחו בכל נפלאותיו: