Po pretpostavci zadatka je , što se svodi na . Na osnovu Han-Banahove teoreme za svako postoji linearni funkcionalal definisan na koji produžava bez povećanja norme. U tom slučaju je traženi operator.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.