This problem is the first problem from the Haselbauer-Dickheiser Test.
I find this to be one of the harder problems on the test that I haven't solved. To me, the test is weird in the sense that it contains some trivial problems, some well-known math results and some seemingly very hard problems.