https://123dok.net/document/z3d43wlm-n-i-proper-holomorphic-maps-balls-dimension.html