theorem :: TOPALG_5:26

Ciso is bijective ;