https://123dok.net/document/qmjkng79-ampleness-schur-powers-cotangent-bundles-k-hyperbolicity.html