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 .