فرض کنیم vیک فضای برداری از بعدمتناهی و Tیک عملگزخطی روی آن باشد وفرض کنیم هسته Tبرابراست با وبرد Tبرابراست با
فرض کنیم و میخواهیم نشان دهیم :
بطورمعادل نشان میدهیم
چون میتوان فرض کرد مجموعه یک پایه برای هسته Tمیباشد از طرفی هسته T یک زیرفضای فضای برداری V است پس یک مجموعه مستقل خطی در V...