Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且

，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】

(1—2题共用题于) 男，65岁，因与家人争吵突然晕倒而入院治疗。查体右侧上、下肢瘫痪，腱反射亢进，右侧眼裂以下面瘫，伸舌时舌尖偏向右侧。右半身深、浅感觉消失。双眼右侧半视野缺失，瞳孔对光反射存在。

该病变的部位在

A．右侧中央前、后回

B．左侧中央前、后回

C．左侧内囊

D．右侧内囊

E．右侧中央后回