I suppose this is really a Theorem, isn't it.