命题VI.30