怎么证明 至多有n个的否定形式是 至少n+1个?