命题X.40