命题IV.9