命题IX.32