Extremal Bounded Holomorphic Functions and an Embedding Theorem for Arithmetic Varieties of Rank ≥ 2 Mok, N. [PDF]