列推理中有效的是（ ）。
A.如果贪污，那么犯法；某甲没贪污，所以他没犯法；
B.如果贪污，那么犯法；某甲犯法，所以他贪污；
C.只有犯法，才应受法律制裁；某甲不应受法律制裁，所以他没有犯法；
D.只有犯法，才应受法律制裁；某甲应受法律制裁，所以他犯法。

---