5.1 死刑案件证明标准的程序功能:传统假设