This is not a theorem, it is a property of the model.