4.1 求同推理