Let and let .

Consider any such that for all and choose any with .

Then and so , i.e. . Taking the inf over all such , we deduce that .

If is non-zero, let . Then and so .

It follows by linearity that for all non-zero and therefore for all , since it is clearly true when .

Hence for all when . By the definition of , we see that .

Thus we have .