函证程序最可能证实的是