Lengkapi aktivitas pembuktian sesudah Teorema 2.7. Rubrik: kedua arah bikondisional harus dibuktikan; pada tiap arah, pisahkan eksistensi dan ketunggalan, atau surjektivitas dan injektivitas.