Let be fixed. We clearly then that that and moreover it's clear that putting these two together gives and since was arbitrary it follows that . Conversely, fix and then evidently . Since was arbitrary we have that and since was arbitrary . The conclusion follows.