1.推演证明。