命题IX.31