Hyperbolic manifolds and holomorphic mappings by Shoshichi Kobayashi