命题IX.20