命题X.7