https://9dok.net/document/qo519vw0-zeige-abbildungen-φ-u-bilinear-hom-hom-hom.html