This answer to this question is found in this solution.