王小国,李伟锋,戴汉有:证明张云华提出的一个如何简证问题