Extremal bounded holomorphic functions and an embedding theorem for arithmetic varieties of rank ≥ 2