命题X.72