This can just be derived from the solution text below, so shouldn't need to be specified.