Let $x = (n, m, k) \in \mathbb{N}^3$ be a D5160: Euclidean natural number.
Then $x$ is an RGB color if and only if $$\begin{equation} n, m, k \in \{ 0, 1, 2, \ldots, 255 \} \end{equation}$$