命题III.17