7.7 适合深度神经网络的证明方法