不用证明，只需要定义就可以了  
  
【 在 jdxf () 的大作中提到: 】
: 看样子是口罩级别
: 不知道怎么证明
:
: 【 在 mumusan 的大作中提到: 】
--
FROM 112.96.199.*