5.3.2命题2