命题X.18