Statement of the problem:
Consider polynomials $P, Q$ with natural coefficients (including zero) such that no coefficient of the polynomial $P$ is greater than $b-1 \in \mathbb{N}$. Given points $a, b\in \mathbb{Z}^{+}$ such that $a<b$ and equivalences $P(a)=Q(a)$, $P(b)=Q(b)$, prove that $P$ is the same polynomial as $Q$.
Observations:
Let the coefficients of $P$ be $p_0,p_1, ...$ and $Q$ be $q_0,q_1,\dots$. Under these circumstances, the polynomial $P-Q$ must contain the factor $(x-a)(x-b)$, so the zeroth order term $p_0-q_0$ must be a multiple of $ab$.
Also, if $\lambda(x) = \frac{P(x)-Q(x)}{(x-a)(x-b)}$, the highest degree term has the coefficient $p_n-q_n$, where $n = \max(\deg(Q), \deg(P))$. This becomes evident with long division.