命题X.42