命题III.18