证明是，结果是