命题VIII.17