命题I.23