命题IX.17