Big Dipper Operation/Examples/(m, n) = (3, 4)/Examples/x +(3,4) 2 = 3

Examples of Equations on Big Dipper Operation $+_{3, 4}$
Let $\N_{<7}$ denote the initial segment of the natural numbers:
 * $\N_{<7} := \set {0, 1, \ldots, 6}$

Let $+_{3, 4}$ be the big dipper operation on $\N_{<7}$ defined as:
 * $\forall a, b \in \N_{<7}: a +_{3, 4} b = \begin{cases}

a + b & : a + b < 3 \\ a + b - 4 k & : a + b \ge 3 \end{cases}$

where $k$ is the largest integer satisfying:
 * $3 + 4 k \le a + b$

Consider the equation:
 * $x +_{3, 4} 2 = 3$

This has the solutions:
 * $x = 1$
 * $x = 5$

Proof
Apparent from direct inspection of the Cayley table:

In the column headed by $2$ we see that $x +_{3, 4} 2 = 3$ when $x = 1$ and $x = 5$.