全単射なら逆写像が存在することは直観ですぐわかる気がする