全単射じゃないとインバースでSに戻らないS'の元がありますよね