命题IX.18