命题X.113