命题X.112