Theorem Let $\mathfrak{A}$ be a distributive lattice with least element. Let $a,b\in\mathfrak{A}$. If $a\setminus b$ exists, then $a\setminus^* b$ also exists and $a\setminus^* b=a\setminus b$.