は上の全単射を与える。