命题IX.7