咋个交叉证明法，能行得通也算是有解的
【 在 huipj 的大作中提到: 】
: 只能使用交叉证明法，就是蛮麻烦，花精力证明这些不值得  
--
FROM 120.244.136.*