فرض کنیم s نیم گروه نیم توپولوژیک، cb(s) ، n-بسیار میانگین پذیر چپ و s} s ={t(t): t ? نیم گروه غیرانبساطی به طور قوی پیوسته باشد. لائو، مایک و تاکاهاشی برای نیم گروهی از نگاشت های غیرانبساطی در فضاهای باناخ ثابت کردند اگرs یک نیم گروه برگشت پذیر چپ، c زیرمجموعه ی محدب فشرده از یک فضای باناخ، }ُs s={t(t): t ? نیم گروه غیرانبساطی روی c وc z ?، آن گاه گزاره های زیر هم ارزند :
1) z نقطه ی ثابت مشتر...