>>573
双準同型写像を同型写像と呼ぶのだから、逆写像があるからで十分。