Let $x \in \mathbb{I}$ be an D1243: Irrational number.
Let $q \in \mathbb{Q}$ be a D994: Rational number such that

(i)	\begin{equation} q \neq 0 \end{equation}

Then \begin{equation} x q = q x \in \mathbb{I} \end{equation}