Floor of m+n-1 over n/Example 1

Theorem
Let $n \in \Z$.

Then:
 * $\left \lfloor{\dfrac {n + 2 - \left \lfloor{n / 25}\right \rfloor} 3}\right \rfloor = \left \lfloor{\dfrac {8 n + 24} {25} }\right \rfloor$