里昂惕夫之谜是对（）理论的实证检验。