hh111命题