命题XII.17