命题IX.25