命题IX.30