这是怎么证明出来的？