命题X.45