命题III.16