Ta giả sử, điều mâu thuẫn với giả thiết, A là toàn ánh. Từ định lý hàm ánh xạ mở suy ra A toán tử mở, đặc biệt A B ( (0,1)) ⊆ X là một tập mở, i.e., có ε > 0 sao cho B (0, ) ε = ε B (0,1) ⊆ A B ( (0,1), tại đó B (0,1) { = ∈ x X x | < 1}. Khi đó A là Compact suy ra A B ( (0,1)) là Compact tương đối, do đó có ε > 0 sao cho B (0, ) ε = ε B (0,1) là Compact tương đối, từ đó B (0,1) là Compact tương đối, và do đó B (0,1) là Compact. Nhưng nếu B (0,1) là Compact thì theo định lý Riesz X là không gian hữu hạn chiều, điều này mâu thuẫn với giả thiết, do đó, A không là toàn ánh.