命题IV.16