命题I.17