فرض کنیم x یک فضای باناخ حقیقی باشد . ثابت می کنیم که اگر یک عملگر مثبت ، متقارن ، یک به یک و اکیداً نامنفرد از x به توی دوگانش وجود داشته باشد آنگاه یا x با یک فضای هیلبرت یکریخت می باشد یا شامل یک زیر فضای متمم شده غیر بدیهی است که با یک فضای هیلبرت یکریخت می باشد . همچنین ما به مورد غیر متقارن نیز خواهیم پرداخت .