[003A] Translator’s Note 9·a.

The proof is completely elementary, but I judge it far from being immediate… I might decide to write it up someday!