I asked a question that turned out to admit a very short and simple answer, given by Qing Liu in the comments.

I don't think this question belongs on MO. Can people close it? (Following customs established in other threads, I haven't yet voted for deletion, in case the question is useful to others, but I would be happy to do so if people think it reasonable.)