See solution.mdx for the answer.