命题X.16