titchmarsh theorem