命题X.4