命题X.56