This paper has been withdrawn, because it is subsumed by the new preprint arXiv:0806.4540 .
生成讲解博客的中文版本
生成AI智能校验的中文版本