12.4 目标检测定理的证明