命题XII.18