1: \begin{proof}

2: This is rigorously verified using the Resolve function of Mathematica in  Section~\ref{app:d<=22techlem}.

3: \end{proof}