Beit Yosef, Orach Chayim 372:23 · בית יוסף · free full Hebrew text
ומ"ש ודוקא שיש בסולם ד' שליבות וכו' שם סולם המצרי אינו ממעט והצורי ממעט ה"ד סולם המצרי אמרי דבי רבי ינאי כל שאין לו ד' חווקין ופירש"י סולם המצרי הואיל וקטן הוא ונוח ליטלו משם אינו ממעט. חווקין אישקאלוניש: