Then (D2) is true.
那麼（Ｄ２）為真。