根据换质位法推理,由SAP真,可推出()。
A:ES
B:IS
C:AS
D:OS
出自:法学