命题X.87