命题XII.16