10.9.4 模拟证明