Let be a vector space over a field (real or complex), and let be a norm on . Further, for , , let
The claim is clear for , so we can assume that . Then