https://123dok.org/document/dy4l42rz-a-julia-lemma-for-the-symmetrized-bidisc-mathbb.html