命题VII.17