命题IX.16