贺崇寅的证明问题