بسیاری از جبرهای باناخ نیمساده ‏‎b‎‏ از قبیل ‏‎b=c(x)‎‏ که در آن ‏‎x‎‏ فشرده است و یا ‏‎b=l1(g)‎‏ که در آن ‏‎g‎‏ موضعا فشرده است، دارای این خاصیت هستند که هر همومورفیسم از ‏‎b‎‏ به توی ‏‎c1[0,1]‎‏ فشرده است . در این رساله از این خاصیت برای جبرهای یکنواخت استفاده شده است.