In diesem Abschnitt soll zuerst dargelegt werden, daß der Monomorphismus im betrachteten Fall überhaupt existiert (Lemma 1, 2), danach geht es dann um seine effiziente Berechnung (Lemma 3).