命题IX.4