This paper has been withdrawn by the author, because it is now part of an enlarged version entitled “Time functions as utilities” arXiv:0909.0890
生成讲解博客的中文版本
生成AI智能校验的中文版本