用综合法证明:当0