命题X.77