命题X.9