Prädikatenlogik/Transitivität der Injektivität/Ableitung/Aufgabe

Man gebe einen formalen Beweis für die Aussage, dass die Hintereinanderschaltung von zwei injektiven Abbildungen auf einer Menge wieder injektiv ist.