命题IX.23