事实证明数学的确有助于睡眠