4.7 共变推理