命题VI.17