三、严格证明的效率价值