命题X.76