二、严格证明的程序价值