Consider the equation How many solutions are there with for all
Instead, count the solutions to with Why is this equivalent?