命题X.53