D1 and D2 together entail that a contradiction follows from the hypothesis that the one is, on the a...