Goldstine theorem