Every holomorphic map f: X → Y of complex spaces is distance-decreasing with respect to the Kobayashi pseudometrics of X and Y.
A complex space is Kobayashi hyperbolic if and only if its universal covering space is Kobayashi hyperbolic [REF].