简单来说就是恶魔的证明？