数学の証明において、∃xP(x)から「あるcが存在してP(c)」を推論してよいが、証明の結論にcを含むことはできない。含んだら違反。
君のDを含む結論ってその違反に似てる。