被证明是, 结果是