1 10月我国外贸进出口:问一个对策论的证明问题