Item1.2.5.5.c

This is false. The presence of a free variable tells us there are infinitely many solutions.

in-context