Let $x, y \in \mathbb{R}$ each be a [[[d,993]]] and let $\leq$ be the [[[d,871]]] on $\mathbb{R}$. If one was tasked to prove the equality $x = y$, then the following would be one potential approach. Result [[[r,3940]]] shows that $\leq$ is an [[[d,289]]] on $\mathbb{R}$. Thus, following the approach stated in its full generality in [[[k,657]]], to show the equality $x = y$, it is sufficient to show that $x \leq y$ and $y \leq x$.