命题X.27