命题III.7