Pemeriksaan B.4. Pemeriksaan 4: teorema komposisi.
Lengkapi aktivitas pembuktian sesudah Teorema 2.5. Rubrik: bukti injektivitas dimulai dari kesamaan keluaran, bukti surjektivitas dimulai dari unsur sembarang kodomain, dan bagian bijektif menyebut kedua hasil.