命题III.23