Bach, Orach Chayim 345:22 · ב"ח · free full Hebrew text
בית שאין תוכו י' וכו' מימרא דרב בפ"ק דשבת (ז:) פי' שאין בגובה חללו י' ועל התקרה הוא גבוה י' גגו כיון דגבוה י' ורחב ד' הוי רה"י תוכו כיון דמוקף מחיצות שאינו גבוה י' הוי כרמלית: