命题X.17