فرض کنیم ? و? در نگاشت پوشا بین جبرهای عملگری استاندارد ? و ? روی فضاهای باناخ ? و ? باشند که در شرط "??" ("?" (f)?(g) )="??" (fg) برای هر ? f,g? صدق می کنند (در اینجا (.) "??" نمایانگر طیف مرزی است). نشان داده می شود ? و? یا به صورت ?(t)=a_2 ta_1^(-1) و ?(t)=a_1 ta_2^(-1) ، ???، هستند که در آن a_1 و a_2 عملگرهای خطی کراندار دوسویی از ? به ? هستند یا به صورت ?(t)=b_2 t^* b_1^(-1) و ?(t)=b_1 t^*...