命题X.51